OpenStack networking for humans: symbolic execution to the rescue Radu Stoenescu, Dragos Dumitrescu, Costin Raiciu University Politehnica of Bucharest Email:

Source URL: nets.cs.pub.ro

• Computer network security
• Network architecture
• Local area networks
• Cloud infrastructure
• Ethernet
• OpenStack
• Open vSwitch
• Virtual LAN
• Firewall
• Network virtualization
• Network address translation
• Network switch

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Scala-Virtualized: Linguistic Reuse for Deep Embeddings Tiark Rompf · Nada Amin · Adriaan Moors · Philipp Haller · Martin Odersky

Source URL: lampwww.epfl.ch

• Functional languages
• Object-oriented programming languages
• Order theory
• Scala
• Embedding
• Monad
• OCaml

Theano Tutorial Theano is a software package which allows you to write symbolic code and compile it onto different architectures (in particular, CPU and GPU). It was developed by machine learning researchers at the Univ

Source URL: colinraffel.com

• Artificial neural networks
• Sigmoid function
• Artificial neuron
• Parameter
• Function
• Gradient descent
• Backpropagation
• Multilayer perceptron
• Activation function
• Theano
• Default argument
• Artificial intelligence

ASSOCIATION FOR SYMBOLIC LOGICJOINT MEETING WITH THE AMERICAN PHILOSOPHICAL ASSOCIATION Palmer House Chicago, IL March 2 - 5, 2016

Source URL: www.aslonline.org

JOIN THE ASSOCIATION FOR SYMBOLIC LOGIC ASL MEMBERSHIP BENEFITS • • •

Source URL: www.aslonline.org

To be published in: LISP AND SYMBOLIC COMPUTATION: An International Journal, 4, 3, 1991 © 1991 Kluwer Academic Publishers - Manufactured in The Netherlands SELF: The Power of Simplicity* DAVID UNGAR†

Source URL: bibliography.selflanguage.org

The Journal of Symbolic Logic Volume 75, Number 1, March 2010 ON TAO’S “FINITARY” INFINITE PIGEONHOLE PRINCIPLE JAIME GASPAR AND ULRICH KOHLENBACH

Source URL: jg.sdf.org

• Mathematical analysis
• Mathematics
• Analysis
• IP
• Characteristic function
• Uniform boundedness principle
• Operator theory
• Banach spaces
• Compact operator on Hilbert space
• Algebraic number field

This paper should be referred to as: Verhaeghe, PCausality in science and psychoanalysis. In: J. Glynos & Y. Stavrakakis, Lacan & Science. London/New York: Karnac, pp. p. 119

Source URL: www.psychoanalysis.ugent.be

• Jacques Lacan
• Post-structuralism
• Structuralism
• Philosophy of sexuality
• Causality
• Lack
• Demand
• The Symbolic
• Determinism
• The Real
• Free will
• Sigmund Freud

Toward a High-performance System for Symbolic and Statistical Modeling Neng-Fa Zhou Department of Computer Science Brooklyn College & Graduate Center The City University of New York

Source URL: rjida.meijo-u.ac.jp

This paper should be referred to as: Verhaeghe, PMind your Body & Lacan’s Answer to a Classical Deadlock. In: P. Verhaeghe, Beyond Gender. From Subject to Drive. New York: The Other Press, ppINTROD

Source URL: www.psychoanalysis.ugent.be

• Jacques Lacan
• Post-structuralism
• Structuralism
• Psychoanalysis
• Continental philosophy
• Philosophy of sexuality
• Psychology
• Jouissance
• The Four Fundamental Concepts of Psychoanalysis
• Sinthome
• Lack
• The Symbolic